package entities.axiom;

import option.KBVocabulary;
import utils.Display;
import entities.concept.Concept;

public class EquivalenceAxiom extends ConceptAxiom {

	// Concept lhs, rhs;
	public EquivalenceAxiom(Concept lhs, Concept rhs) {
		super(lhs, rhs);
	}

	@Override
	public String toString() {
		return this.getLHS() + " " + Display.EQAXIOMUNICODE + " "
				+ this.getRHS();
	}

	public String toSerializedString() {
		return " (" + KBVocabulary.EQAXIOM + " "
				+ this.getLHS().toSerializedString() + " "
				+ this.getRHS().toSerializedString() + ") ";
	}

}
